Matteo Baldoni , Jamal Bentahar
نویسندگان
چکیده
We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capturing the concept of acceptance qua member of an institution as the kind of attitude that agents are committed to when they are “functioning as members of an institution”. Acceptance logic can also be used to model judgement aggregation: it deals with how a collective acceptance of the members of an institution about a certain fact φ is created from the individual acceptances of the members of the institution. The contribution of this paper is to present a tableau method for the logic of acceptance. The method automatically decides whether a formula of the logic of acceptance is satisfiable thereby providing an automated reasoning procedure for judgement aggregation in the logic of acceptance.
منابع مشابه
Introductory Essay of MALLOW-AWESOME'009
Following the success of the previous edition held in Durham in 2007, MALLOW-AWESOME’009 wants to stimulate discussion among researchers working on Agents, Web Services, and Ontologies, in order to help the identification and the definition of Methodologies for integrating them. The realisation of distributed, open, dynamic, and heterogeneous software systems is, in fact, a challenge that invol...
متن کاملModeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments
http://dx.doi.org/10.1016/j.eswa.2014.04.008 0957-4174/ 2014 Elsevier Ltd. All rights reserved. ⇑ Corresponding author. Tel.: +1 514 848 2424x5382; fax: +1 514 848 3171. E-mail addresses: [email protected] (K. Sultan), bentahar@encs. concordia.ca (J. Bentahar), [email protected] (W. Wan), f_alsaqq@encs. concordia.ca (F. Al-Saqqar). Khalid Sultan, Jamal Bentahar ⇑, Wei Wan, Faisal...
متن کاملSocial Network-based Framework for Users and Web Services Discovery
Social Network-Based Framework for Users and Web Services Discovery
متن کاملModel Checking Single Web Services using Markov Chains and MDPs
Research Online is the open access institutional repository for the University of Wollongong. For further information contact the UOW
متن کامل